FILE_SYSTEM_STRUCTURE_CONVERTER Contracts

Automatic generation produced by ISE Eiffel
Classes Clusters Cluster hierarchy Chart Relations Text Contracts
indexing
    description: "Objects that enable displaying the file-system-structure as a tree"
    author: "Timon Hertli"
    date: "$Date$"
    revision: "$Revision$"

class interface
    FILE_SYSTEM_STRUCTURE_CONVERTER

feature 

    add_filenames_from_directory (list: LIST [STRING]; directory_name: STRING)
            -- Adds the filenames from a directory to a list
        require
            list_not_void: list /= Void
            directory_name_not_void: directory_name /= Void

    get_directory_from_node (node: EV_TREE_NODE): STRING
            -- Directory from a node
        require
            node /= Void
            node_has_string: node.data.same_type ("")
        ensure
            result_not_void: Result /= Void

    create_file_system_tree (the_tree: EV_TREE; root_directory: STRING)
            -- Create the file-system-tree
        require
            tree_not_void: the_tree /= Void
            root_directory_not_void: root_directory /= Void

    drive_tree (drive: STRING): MY_TREE_NODE
            -- Create a tree of a drive (drive="" for / as root)
        require
            drive_not_void: drive /= Void

    sub_file_system_tree (current_path: STRING): MY_TREE_NODE
            -- Tree of sub-file-system
        require
            current_path_not_void: current_path /= Void
        ensure
            result_not_void: Result /= Void
    
end -- class FILE_SYSTEM_STRUCTURE_CONVERTERClasses Clusters Cluster hierarchy Chart Relations Text Contracts
-- Generated by ISE Eiffel --
For more details: www.eiffel.com